Sfoglia per Serie LECTURE NOTES IN COMPUTER SCIENCE
Revisiting Polyhedral Analysis for Hybrid Systems
2019-01-01 Becchi, Anna; Zaffanella, Enea
A set solver for finite relation algebra
2018-01-01 Cristià, Maximiliano; Rossi, Gianfranco
Symbolic Analysis of Linear Hybrid Automata – 25 Years Later
2022-01-01 Frehse, Goran; Giacobbe, Mirco; Zaffanella, Enea
Toward a Kinetic Framework to Model the Collective Dynamics of Multi-agent Systems
2022-01-01 Monica, S.; Bergenti, F.; Zambonelli, F.
Two analytic models of compromise in multi-agent systems
2017-01-01 Monica, Stefania; Bergenti, Federico
Unconstrained Variable Oracles for Faster Numeric Static Analyses
2023-01-01 Arceri, V.; Dolcetti, G.; Zaffanella, E.
A wearable sensor for AAL-based continuous monitoring
2016-01-01 Bianchi, Valentina; Guerra, Claudio; DE MUNARI, Ilaria; Ciampolini, Paolo
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Revisiting Polyhedral Analysis for Hybrid Systems | 1-gen-2019 | Becchi, Anna; Zaffanella, Enea | |
| A set solver for finite relation algebra | 1-gen-2018 | Cristià, Maximiliano; Rossi, Gianfranco | |
| Symbolic Analysis of Linear Hybrid Automata – 25 Years Later | 1-gen-2022 | Frehse, Goran; Giacobbe, Mirco; Zaffanella, Enea | |
| Toward a Kinetic Framework to Model the Collective Dynamics of Multi-agent Systems | 1-gen-2022 | Monica, S.; Bergenti, F.; Zambonelli, F. | |
| Two analytic models of compromise in multi-agent systems | 1-gen-2017 | Monica, Stefania; Bergenti, Federico | |
| Unconstrained Variable Oracles for Faster Numeric Static Analyses | 1-gen-2023 | Arceri, V.; Dolcetti, G.; Zaffanella, E. | |
| A wearable sensor for AAL-based continuous monitoring | 1-gen-2016 | Bianchi, Valentina; Guerra, Claudio; DE MUNARI, Ilaria; Ciampolini, Paolo |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile